MGI:4459309 Ripply1<tm1.1Sjt> http://identifiers.org/mgd/MGI:4459309 targeted mutation 1.1, Shinji Takada Null/knockout